Atomic formula - PDFSEARCH.IO - Document Search Engine

Atomic formula
Results: 91

#	Item
11	Package ‘enviPat’ June 5, 2015 Type Package Title Isotope Pattern, Profile and Centroid Calculation for Mass Spectrometry Version 2.0 Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-06-05 05:45:43 Chemical properties Isotope Atomic mass Molecular mass Chemical element Stable isotope Chemical formula Monoisotopic mass Atom Chemistry Mass spectrometry Mass
12	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
13	South Pasadena Chemistry Name______________________________ Period __ Date __/__/__ “MM & %Comp” Unit 2 Molecules, Moles, & Molar Masses MOLECULAR MASS & % COMPOSITION I. Four terms are a little confusing: Ato Add to Reading List Source URL: www.chemmybear.com Language: English - Date: 2011-05-10 22:09:02 Molar mass Molecule Molecular mass Chemical formula Atomic mass Chemical element Chemistry Mass Science
14	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus
15	Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each Add to Reading List Source URL: johnmacfarlane.net Language: English Propositional calculus Semantics Boolean algebra Logical connective Truth table Valuation If and only if Tautology Natural deduction Abstract algebra Logic Mathematics
16	Photon Factory Activity Report 2004 #22 Part BAtomic and Molecular Science 16B, 20A/2003G017 Observation of Inner/ Outer-Photoionization of Beryllium Atoms Add to Reading List Source URL: pfwww.kek.jp Language: English - Date: 2010-01-05 10:31:42 Rydberg formula Rydberg state Autoionization Electron shell Physics Atomic physics Chemistry
17	Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2013-04-09 22:34:32 Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic
18	LectureNotesWithBlanks_5_FA2008 Add to Reading List Source URL: www.chemistry2011.org Language: English - Date: 2013-03-09 12:19:10 Emission spectroscopy Quantum chemistry Spectroscopy Hydrogen Energy level Hydrogen atom Balmer series Atomic orbital Rydberg formula Physics Chemistry Atomic physics
19	New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:58:08 Model theory Predicate logic Propositional calculus Theoretical computer science First-order logic Markov logic network Interpretation Function Atomic formula Logic Mathematical logic Mathematics
20	An Integer Polynomial Programming Based Framework for Lifted MAP Inference Somdeb Sarkhel, Deepak Venugopal Computer Science Department The University of Texas at Dallas {sxs104721,dxv021000}@utdallas.edu Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-10-31 21:57:33 Applied mathematics Artificial intelligence Predicate logic Mathematical logic Graphical models Markov logic network First-order logic Algorithm Atomic formula Mathematics Theoretical computer science Logic